2

Freiling's axioms of symmetry in a general setting and some applications

Year:
2001
Language:
english
File:
PDF, 122 KB
english, 2001
3

Totally non-immune sets

Year:
2015
Language:
english
File:
PDF, 236 KB
english, 2015
4

A Note on Real Subsets of A Recursively Saturated Model

Year:
1991
Language:
english
File:
PDF, 458 KB
english, 1991
5

DISCRETE ORDERINGS AND COMMUTATIVE MONOIDS

Year:
2001
Language:
english
File:
PDF, 162 KB
english, 2001
6

Propositional superposition logic

Year:
2017
Language:
english
File:
PDF, 324 KB
english, 2017
8

NEARNESS RELATIONS IN DISCRETELY ORDERED RINGS

Year:
2001
Language:
english
File:
PDF, 190 KB
english, 2001
10

Localizing the axioms

Year:
2010
Language:
english
File:
PDF, 354 KB
english, 2010
11

An Axiomatization of "Very" within Systems of Set Theory

Year:
2003
File:
PDF, 1.78 MB
2003
12

The Order Structure of Continua

Year:
1997
Language:
english
File:
PDF, 339 KB
english, 1997
13

Non-circular, non-well-founded set universes

Year:
1993
Language:
english
File:
PDF, 358 KB
english, 1993
14

Erratum to: Localizing the axioms

Year:
2011
Language:
english
File:
PDF, 64 KB
english, 2011
15

Semantics for first-order superposition logic

Year:
2019
Language:
english
File:
PDF, 421 KB
english, 2019
16

A Reduction of the NF Consistency Problem

Year:
2007
Language:
english
File:
PDF, 1.43 MB
english, 2007
17

The Order Structure of Continua

Year:
1997-1998
Language:
english
File:
PDF, 3.61 MB
english, 1997-1998
18

A combinatorial result related to the consistency of New Foundations

Year:
2011
Language:
english
File:
PDF, 271 KB
english, 2011
19

Classification of non-well-founded sets and an application

Year:
2003
Language:
english
File:
PDF, 233 KB
english, 2003
20

Objects and their lambda calculus

Year:
2001
Language:
english
File:
PDF, 194 KB
english, 2001
21

Modeling vagueness by nonstandardness

Year:
1998
Language:
english
File:
PDF, 965 KB
english, 1998
22

Forcing and antifoundation

Year:
2005
Language:
english
File:
PDF, 187 KB
english, 2005
23

Cardinality without Enumeration

Year:
2005
Language:
english
File:
PDF, 313 KB
english, 2005
24

An Axiomatization of "Very" within Systems of Set Theory

Year:
2003
Language:
english
File:
PDF, 1.78 MB
english, 2003
25

Large transitive models in local ZFC

Year:
2014
Language:
english
File:
PDF, 362 KB
english, 2014
26

A Reduction of the NF consistency Problem

Year:
2007
Language:
english
File:
PDF, 1.23 MB
english, 2007
27

The Logic of Multisets Continued: The Case of Disjunction

Year:
2003
File:
PDF, 2.44 MB
2003
28

Notions of symmetry in set theory with classes

Year:
2000
Language:
english
File:
PDF, 171 KB
english, 2000
29

Cardinality without Enumeration

Year:
2005
Language:
english
File:
PDF, 2.19 MB
english, 2005
30

Logic of Knowledge and Utterance and the Liar

Year:
1998
Language:
english
File:
PDF, 2.13 MB
english, 1998
31

Omega- and Beta-Models of Alternative Set Theory

Year:
1994
Language:
english
File:
PDF, 1.14 MB
english, 1994
32

Logic of Knowledge and Utterance and the Liar

Year:
1998
Language:
english
File:
PDF, 513 KB
english, 1998
33

Aspects of Analytic Deduction

Year:
1996
Language:
english
File:
PDF, 1.60 MB
english, 1996
34

Significant parts and identity of artifacts.

Year:
1993
Language:
english
File:
PDF, 864 KB
english, 1993
35

Aspects of analytic deduction

Year:
1996
Language:
english
File:
PDF, 930 KB
english, 1996
37

What is so special with the powerset operation?

Year:
2004
Language:
english
File:
PDF, 192 KB
english, 2004